A New Integrated Software Development Environment Based on SDL, MSC, and CHILL for Large-scale Switching Systems
نویسندگان
چکیده
منابع مشابه
Early performance prediction of SDL/MSC specified systems by automated synthetic code generation
We present a new approach for early performance prediction based on MSC speci ed systems in the context of SDL Our approach is integrated into existing design methodologies as proposed by commercial tool vendors where communication software is fully speci ed in SDL and the nal implementation is derived from there Obviously the structure of the SDL speci cation will in uence the performance of t...
متن کاملA Methodology for Hardware/Software Codesign of Real-Time Systems with SDL/MSC
Thus, SDL supports the rapid development and extension of complex systems to meet stringent time-to-market and cost constraints. In conjunction with SDL, Message Sequence Charts (MSC) are employed to describe specific use cases of the system. However, SDL and MSC abstract from nonfunctional aspects and implementational details as time, performance and other limitations of physical systems. Thus...
متن کاملA new approach based on state conversion to stability analysis and control design of switched nonlinear cascade systems
In this paper, the problems of control and stabilization of switched nonlinear cascade systems is investigated. The so called simultaneous domination limitation (SDL) is introduced in previous works to assure the existence of a common quadratic Lyapunov function (CQLF) for switched nonlinear cascade systems. According to this idea, if all subsystems of a switched system satisfy the SDL, a CQLF ...
متن کاملCodesign with SDL/MSC
Thus, SDL supports the rapid development and extension of complex systems to meet stringent time-to-market and cost constraints. In conjunction with SDL, Message Sequence Charts (MSC) are employed to describe specific use cases of the system. However, SDL and MSC abstract from nonfunctional aspects and implementational details as time, performance and other limitations of physical systems. Thus...
متن کاملAn annotational extension of message sequence charts to support performance engineering
With the development of complex systems based on SDL, performance issues often play a major role. However, this is neither reflected by the SDL methodology nor by the specification techniques suggested by the methodology, namely SDL and MSC. To remedy this problem, we propose Performance Message Sequence Charts (PMSC). PMSC represents an extension of MSC-96 to include performance aspects into t...
متن کامل